Видео ютуба по тегу Matteo Acclavio

[CP24] A Propositional Dynamic Logic for Choreographies
[CP24] A Propositional Dynamic Logic for Choreographies
Matteo Acclavio - On the 24th Hilbert problem and the notion of simplicity for proof
Matteo Acclavio - On the 24th Hilbert problem and the notion of simplicity for proof
Journée International de la logique 2021 - Université de Montpellier
Journée International de la logique 2021 - Université de Montpellier
A6.D — Logic Beyond Formulas: A Proof System on Graphs
A6.D — Logic Beyond Formulas: A Proof System on Graphs